Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Unification Algorithms
Let's Write a Macro in Rust
hackeryarn.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ“‹Backus-Naur Form
Show HN: Realization Jsmn on a Pure Zig
github.comยท9hยท
Discuss: Hacker News
๐Ÿ“‹JSON Parsing
In-Depth Analysis: "Attention Is All You Need"
dev.toยท3hยท
Discuss: DEV
๐ŸŒฑMinimal ML
Haskell Weekly Issue 493
haskellweekly.newsยท1dยท
Discuss: Hacker News
โšกfunctional programming
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ“‹Datalog
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.orgยท15h
๐Ÿ”ML Language
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐ŸŒฑMinimal Lisps
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.orgยท1dยท
Discuss: Hacker News, r/programming
๐ŸคZipper Structures
Defeating Return Type Polymorphism
philipphagenlocher.deยท1dยท
Discuss: Hacker News
๐Ÿ“Linear Haskell
Building a BPE Tokenizer from scratch - optimizations & experiments
reddit.comยท2dยท
Discuss: r/LocalLLaMA
๐ŸŽ“Teaching Compilers
Python 3.14 brings template string literals, free-threading, and stdlib subinterpreters
alternativeto.netยท1d
โšกIncremental Parsing
Experimenting with ACL2 and Claude Code
mikedodds.orgยท6hยท
Discuss: Hacker News
๐Ÿ’ฌInteractive REPLs
LangChain.js is overrated; Build your AI agent with a simple fetch call
blog.logrocket.comยท1d
๐Ÿš‚Cranelift Backend
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blogยท17hยท
Discuss: Hacker News, r/programming
๐Ÿ“Rope Editors
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.orgยท15h
ฮปLambda Calculus
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐ŸงฎCombinator Calculus
Unforgettable factory revisited
holyblackcat.github.ioยท14hยท
Discuss: r/cpp
๐Ÿช†Embedded DSLs
Item Patterns and Struct Await
noratrieb.devยท13hยท
Discuss: Hacker News
๐Ÿ›ก๏ธError Handling